- COQC
- Военный термин: commanding officers' qualification course
Универсальный англо-русский словарь. Академик.ру. 2011.
Универсальный англо-русский словарь. Академик.ру. 2011.
Submarine Command Course — The Submarine Command Course (SMCC), previously known as the Commanding Officers Qualifying Course (COQC), and informally known as the Perisher because of its low success rate, is a training course for naval officers preparing to take command of… … Wikipedia
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия